Dkc1<m> http://identifiers.org/mgd/MGI:2449175 targeted mutation 1, Pier Paolo Pandolfi Dkc1<tm1Ppp> Hypomorph MGI:2449175